Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
591	Word Embeddings through Hellinger PCA Ronan Collobert Idiap Research Institute Rue Marconi 19, CPMartigny, Switzerland Add to Reading List Source URL: ronan.collobert.com Language: English - Date: 2014-03-12 05:07:17 Multivariate statistics Category theory Differential topology Embedding Order theory Principal component analysis Latent semantic analysis Natural language processing Mathematics Statistics Topology
592	Hearing: January 23, 2015 J:\Regulations\2015\Updates\ORDER TO INITIATE)\Item 14.doc ITEM 14 ADOPTION OF COMMISSION ORDER TO INITIATE RULEMAKING GENERAL CLEANUP PROVISIONS Add to Reading List Source URL: csm.ca.gov Language: English - Date: 2015-01-07 17:32:49 Rulemaking Internal Revenue Service Law Public administration Government United States administrative law Administrative law Decision theory
593	Type Theory and Constructive Mathematics Type Theory and Constructive Mathematics Thierry Coquand University of Gothenburg Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2012-05-03 11:20:47 Type theory Homotopy theory Proof theory Homotopy type theory First-order logic Constructivism Symbol Natural deduction Curry–Howard correspondence Mathematical logic Logic Mathematics
594	JMLR: Workshop and Conference Proceedings 34:33–48, 2014 Proceedings of the 12th ICGI A Canonical Semi-Deterministic Transducer Achilles Beros Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Complexity classes Models of computation Order theory Automata theory Integer sequences Antichain Finite-state machine FO Function Theoretical computer science Mathematics Applied mathematics
595	Full Functional Verification of Linked Data Structures Karen Zee Viktor Kuncak Martin C. Rinard Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2008-04-04 04:21:28 Automated theorem proving Formal methods Logic in computer science Model theory KeY First-order logic Isabelle Formal verification Predicate transformer semantics Mathematics Theoretical computer science Mathematical logic
596	Combining Theories with Shared Set Operations Thomas Wies, Ruzica Piskac, and Viktor Kuncak EPFL School of Computer and Communication Sciences, Switzerland Abstract. Motivated by applications in software verification, we Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2009-06-22 19:09:56 Model theory Formal languages Metalogic Semantics Predicate logic Interpretation First-order logic Well-formed formula Second-order logic Logic Mathematical logic Mathematics
597	SOLICITATION/CONTRACT/ORDER FOR COMMERCIAL ITEMS Add to Reading List Source URL: photos.state.gov Language: English - Date: 2015-04-29 00:57:42 United States administrative law Human development Contract Attachment theory Human behavior Invoice Business Behavior Contract law Government procurement in the United States
598	BY ORDER OF THE SECRETARY OF THE AIR FORCE AIR FORCE INSTRUCTIONOCTOBER 2001 ANG Add to Reading List Source URL: myhurlburt.com Language: English - Date: 2015-03-31 09:52:37 United States Department of Defense Attachment theory Personal life Behavior The Pentagon United States Air Force
599	Microsoft Word - ORDER FORM01 Add to Reading List Source URL: all.eregulations.us Language: English - Date: 2014-05-16 19:19:41 Rulemaking Illinois United States administrative law Administrative law Decision theory
600	An Overview of the Leon Verification System Verification by Translation to Recursive Functions Régis Blanc Viktor Kuncak Etienne Kneuss Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2013-06-11 12:02:50 Data types Higher-order functions Type theory Recursion Source code Algebraic data type Satisfiability Modulo Theories Map ALGOL 68 Software engineering Computer programming Computing

UPDATE